Books by author Christel Baier

Showing 1 – 6 out of 6 results

1. 

   Formal Techniques for Distributed Objects, Components, and Systems

   Christel Baier, Luis Caires | Springer International Publishing AG, 2018

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.44 €

   Buy
2. 

   Foundations of Software Science and Computation Structures

   Christel Baier, Ugo Dal Lago | Springer International Publishing AG, 2018

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   66.78 €

   Buy
3. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Christel Baier, Cesare Tinelli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.44 €

   Buy
4. 

   CONCUR 2006 - Concurrency Theory

   Christel Baier, Holger Hermanns | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   121.07 €

   Buy
5. 

   Validation of Stochastic Systems

   Christel Baier | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.44 €

   Buy
6. 

   SOFSEM 2017: Theory and Practice of Computer Science

   Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria | Springer International Publishing AG, 2017

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.44 €

   Buy

Returning customers have discounts and benefits. Find out more